package cn.edu.nju.ws.sview.reasoning;

import java.util.ArrayList;
import java.util.HashMap;

/**
 * @author Gong Saisai
 * Atom pattern
 * 
 */
public class Pattern {
	public ArrayList<Integer> getConstIndices() {
		return constIndices;
	}
	public void setConstIndices(ArrayList<Integer> constIndices) {
		this.constIndices = constIndices;
	}
	public ArrayList<Constant> getConstTerms() {
		return constTerms;
	}
	public void setConstTerms(ArrayList<Constant> constTerms) {
		this.constTerms = constTerms;
	}
	public ArrayList<Integer> getVarIndices() {
		return varIndices;
	}
	public void setVarIndices(ArrayList<Integer> varIndices) {
		this.varIndices = varIndices;
	}
	public HashMap<Integer, Term> getVarMap() {
		return varMap;
	}
	public void setVarMap(HashMap<Integer, Term> varMap) {
		this.varMap = varMap;
	}
	public ArrayList<ArrayList<Integer>> getEqualTerms() {
		return equalTerms;
	}
	public void setEqualTerms(ArrayList<ArrayList<Integer>> equalTerms) {
		this.equalTerms = equalTerms;
	}
	private ArrayList<Integer> constIndices;
	private ArrayList<Constant> constTerms;
	private ArrayList<Integer> varIndices;
    private HashMap<Integer,Term> varMap = new HashMap<Integer,Term>();
    //the array stores the the argument which are equal
    // for example ,p(?x,?x)  [[0,1]]
    private ArrayList<ArrayList<Integer>> equalTerms;
}
